61. 8th International Conference on Automated Deduction
Author: edited by Jپ rg H. Siekmann
Library: Vali Asr University Central Library (Kerman)
Subject: Automatic theorem proving -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
A96
,
I57
1986
62. 9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988: Proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
I57
1988
63. 9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, proceedings
Author: E. Lusk, R. Overbeek )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
310
64. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Author: edited by R.E. Shostak
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
170
65. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
Author: edited by R.E. Shostak
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
170
66. 8th International Conference on Automated Deduction : Oxford, England, July 27 - August 1, 1986: Proceedings
Author: edited by Jorg H. Siekmann
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
230
67. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
Author: edited by Jorg H. Siekmann
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L4
v
.
230
